🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Constraint Programming

Satisfiability, Logic Programming, Optimization, Search

An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·1d
📈Complexity Theory
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·6h
🔗Parser Combinators
Is this logic sound?
reddit.com·18h·
Discuss: r/compsci
🧭SMT Solvers
🎓 College Student & Course Management System with SQL (Step by Step)
dev.to·5h·
Discuss: DEV
🗄️Database Theory
Efficient Constraint-Aware Flow Matching via Randomized Exploration
arxiv.org·1d
🧭SMT Solvers
Dyna – Logic Programming for Machine Learning
dyna.org·4d·
Discuss: Lobsters, Hacker News, r/compsci
⚖️Logic Programming
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·7h·
Discuss: r/rust
🧠Memory Management
Mastering Self-Consistency Prompting
dev.to·20h·
Discuss: DEV
🧭SMT Solvers
Essential 2025 fantasy football player projections for every position
nytimes.com·1h
🎲Probabilistic Programming
Modular Arithmetic in Data Science
towardsdatascience.com·2d
🧭SMT Solvers
A Multi-Agent Reinforcement Learning (MARL) Framework for Designing an Optimal State-Specific Hybrid Maintenance Policy for a Series <em>k</em>-out-of-<em>n</em...
sciencedirect.com·1d
🎲Probabilistic Programming
Simpler Category Theory
ryanbrewer.dev·21h·
Discuss: Hacker News
🔄Category Theory
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·21h
🧮Programming Language Theory
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.org·6h
🧭SMT Solvers
how to decide on the sequence of computable numbers
academia.edu·7h·
Discuss: Hacker News, r/programming
📈Complexity Theory
Comparison of derivative-free and gradient-based minimization for multi-objective compositional design of shape memory alloys
arxiv.org·6h
⚙Functional Programming
Edge-Selector Model Applied for Local Search Neighborhood for Solving Vehicle Routing Problems
arxiv.org·6h
🕸️Graph Theory
Shillelagh: Query APIs Using SQL
github.com·20h·
Discuss: Hacker News
⚖️Logic Programming
Enhance AI agents using predictive ML models with Amazon SageMaker AI and Model Context Protocol (MCP)
aws.amazon.com·14h·
Discuss: Hacker News
⚖️Logic Programming
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·3d
🧭SMT Solvers
Loading...Loading more...
AboutBlogChangelogRoadmap